#!/bin/sh
if [ -r "$A_OUT" ]; then ./"$A_OUT" OK; else echo failed; fi
